deterministic finite automaton
DFA
#formal_language_theory
NFA
#incomplete
<- back